Regenerate, rather than applying previous changes by hand.
authorGlenn Morris <rgm@gnu.org>
Wed, 13 Jun 2007 06:02:22 +0000 (06:02 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 13 Jun 2007 06:02:22 +0000 (06:02 +0000)
commit00c0f01f1ce9e6c818e8d265a643c86cd704d71a
tree0243f38f7bfe5896e6dfe983aaf1ebf45dae7a7b
parent19e5131ed861aed89de195fe05bc6def1acb1199
Regenerate, rather than applying previous changes by hand.
src/config.in